package tastytest

class <<<[A] // some symbolic operator representing a "push"
